Variables
x1::[1..10]
x2::[1..10]
x3::[1,5]
Constraints
x1>x3
x1=x2
x2!=x3
External Constraints
x3>=x4